Identifying Motives for Implementing eHealth by using Activity Theory
نویسندگان
چکیده
منابع مشابه
Elicitation Strategies for Web Application Using Activity Theory
Requirements engineering (RE) is often seen as an essential facet in software development. It is a vital process before each project starts. In the context of systems engineering, an understanding and application of systems theory and practice is also relevant to RE. The contexts in which RE takes place habitually involve human activities. Therefore, RE needs to be sensitive to how people perce...
متن کاملElicitation Strategies for Web Application Using Activity Theory
Requirements engineering (RE) is often seen as an essential facet in software development. It is a vital process before each project starts. In the context of systems engineering, an understanding and application of systems theory and practice is also relevant to RE. The contexts in which RE takes place habitually involve human activities. Therefore, RE needs to be sensitive to how people perce...
متن کاملGalois theory for motives of niveau ≤ 1
Let T be a Tannakian category over a field k of characteristic 0 and π(T ) its fundamental group. In this paper we prove that there is a bijection between the ⊗-equivalence classes of Tannakian subcategories of T and the normal affine group sub-T -schemes of π(T ). We apply this result to the Tannakian category T1(k) generated by motives of niveau ≤ 1 defined over k, whose fundamental group is ...
متن کاملA Theory of Base Motives
When A is a commutative local ring with residue field k, the derived tensor product −⊗ L A k : D(A) → (k −Mod) lifts to a functor taking values in a category of modules over the ‘Tate cohomology’ RHom∗A(k, k), which is the universal enveloping algebra of a certain Lie algebra. Under reasonable conditions this lift satisfies a spectral sequence of Adams (or Bockstein) type. In a suitable categor...
متن کاملUsing Theory Morphisms for Implementing Formal Methods Tools
Tools for a specification language can be implemented directly (by building a special purpose theorem prover) or by a conservative embedding into a typed meta-logic, which allows their safe and logically consistent implementation and the reuse of existing theorem prover engines. For being useful, the conservative extension approach must provide derivations for several thousand “folklore” theore...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Sustainability
سال: 2020
ISSN: 2071-1050
DOI: 10.3390/su12041298